1. Algorithms and computation : 6th International Symposium, ISAAC'95, Cairns, Australia, December 4-6, 1995 : proceedings
پدیدآورنده: John Staples...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer algorithms,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
1004
2. Analytic computational complexity
پدیدآورنده: Symposium on Analytic Computational Complexity, 5791, Carnegie-Mellon University
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Numerical analysis-- Data processing-- Congresses,، Computational complexity-- Congresses
رده :
QA
297
.
S915
1975
3. Complexity of computation
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis
رده :
QA
267
.
C58
4. Complexity of computation
پدیدآورنده: edited by Richard M. Karp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
5. Complexity of computer computations; proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Progamming-- Congresses,، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
6
.
S92
1972
6. Computational and applied mathematics, I
پدیدآورنده: / edited by C. Brezinski, U. Kulisch
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Mathematics - Data processing - Congresses,Numerical analysis - Data processing - Congresses
رده :
QA
76
.
95
.
C62
1992
7. Computational & applied mathematics,i:algorithms & theory
پدیدآورنده: BREZINSKI,CLAUDE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MATHEMATICS-DATA PROCESSING-CONGRESSES , NUMERICAL ANALYSIS-DATA PROCESSING-
رده :
QA
76
.
95
.
C62
1991
8. Computational complexity
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Electronic data processing-- Mathemaitcs-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
5
.
C671
1971
9. Computational mathematics, nanoelectronics and astrophysics :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Numerical analysis ; Data processing ; Congresses. ;
10. Computer aided proofs in analysis
پدیدآورنده: Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Numerical analysis
رده :
QA
297
.
C638
1991
11. Computer aided proofs in analysis
پدیدآورنده: Kenneth R.Meyer,Dieter S.Schmidt editors
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Numerical analysis-data processing-congresses
رده :
QA
297
.
C638
12. Computer aided proofs in analysis
پدیدآورنده :
موضوع : ، Numerical analysis-- Data processing-- Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
13. Computer aided proofs in analysis
پدیدآورنده: Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Data processing - Congresses ، Numerical analysis
رده :
QA
1
.
I52
v
.
28
14. Computer oriented analysis of shell structures: proceedings
پدیدآورنده: edited by Richard F. Hartung
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: SHELLS )ENGINEERING(-CONGRESSES , NUMERICAL ANALYSIS-CONGRESSES , ELECTRONIC DATA PROCESSING-
رده :
TA
660
.
S5
C66
1970
15. Computing methods in applied science and engineering, VII
پدیدآورنده: / Edited by R. Glowinski, J. L. Lions
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Numerical analysis -- Data Processing -- Congresses,Parallel Processing (Electronic Computes) -- congresses,Engineering -- Data processing -- congresses
رده :
QA
297
.
I57
1985
16. Computing methods in applied science and engineering, VII
پدیدآورنده: / Edited by R. Glowinski, J. L. Lions
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Numerical analysis -- Data Processing -- Congresses,Parallel Processing (Electronic Computes) -- congresses,Engineering -- Data processing -- congresses
رده :
QA
297
.
I57
1985
17. Computing methods in applied sciences and engineering, 1977, I
پدیدآورنده: Third International Symposium, December 5-9, 7791 ; ]organized by[ IRIA LABORIA, Institut de recherche d'informatique et d'automatique ; edited by R. Glowinski and J.L. Lions
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Data processing -- Congresses ، Numerical analysis,Congresses ، Science -- Data processing,Congresses ، Engineering -- Data processing
رده :
QA
297
.
I5
1977
18. Current trends in scientific computing : ICM 2002 Beijing Satellite Conference on Scientific Computing, August 15-18, 2002, Xi'an Jiaotang University, Xi'an, China
پدیدآورنده: Zhangxin Chen, Roland Glowinski, Kaitai Li, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Science -- Data processing,Data processing -- Congresses ، Numerical analysis
رده :
Q
183
.
9
.
I285
2002
19. Design and implementation of symbolic computation systems :
پدیدآورنده: John Fitch
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
20. Design and implementation of symbolic computation systems :
پدیدآورنده: A. Miola, (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
رده :
QA76
.
9
.
S88
I576
1990
